internal hom functor